$\forall$$i$:Id. Outlnk($i$) $\in$ IdLnk$\rightarrow$Prop